NonEmptyList<'value>Union

PackageReified.Refinements
A list that contains at least one item.

Specification

Kind
Union
Members
4
Examples
0
ToListSignature
this.ToList
HeadSignature
this.Head
TailSignature
this.Tail
NonEmptySignature
NonEmpty(head, tail)

Summary

NameSignatureSynopsis
ToListthis.ToListReturns the refined value as a standard list.
Headthis.HeadReturns the first item.
Tailthis.TailReturns the remaining items.
NonEmptyNonEmpty(head, tail)No description available.

ToList

this.ToList
Member
Returns the refined value as a standard list.

Returns

'value list

Head

this.Head
Member
Returns the first item.

Returns

'value

Tail

this.Tail
Member
Returns the remaining items.

Returns

'value list

NonEmpty

NonEmpty(head, tail)
Member

Parameters

NameTypeDescription
head'value
tail'value list

Returns

unit